Logic of graphs - PDFSEARCH.IO - Document Search Engine

Logic of graphs
Results: 42

#	Item
11	A Multiple Security Domain Model of a Drive-by-Wire System Add to Reading List Source URL: cs.mst.edu Language: English - Date: 2015-04-03 16:07:48 Security Logic Non-classical logic Philosophical logic Planar graphs Platonic solids W5 Cyber-physical system Computer security Modal logic Symbol Regular icosahedron
12	C:/Users/Christoforos/Desktop/Majority in Graphs/ICALP version/Camera ready/CameraReady_27dvi Add to Reading List Source URL: community.dur.ac.uk Language: English - Date: 2014-05-09 19:55:08 Graph theory Clique Graph Degree Logic of graphs Centrality
13	Concept Graphs with Cuts as Diagrammatic First Order Logic Frithjof Dau Darmstadt Technical University, Darmstadt, Germany Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Diagrams Logic Charles Sanders Peirce Philosophical logic Graph theory Existential graph Diagrammatic reasoning Conceptual graph Graph First-order logic Logic of graphs Linear temporal logic
14	Supplementary for Structural-RNN: Deep Learning on Spatio-Temporal Graphs Ashesh Jain1,2 , Amir R. Zamir1 , Silvio Savarese1 , and Ashutosh Saxena3 Stanford University1 , Cornell University2 , Brain Of Things Inc.3 {ashe Add to Reading List Source URL: asheshjain.org Language: English - Date: 2016-07-13 23:04:50 Artificial neural networks Computational neuroscience Deep learning Long short-term memory Mathematical logic Artificial intelligence Algorithm Motion
15	Aachen Department of Computer Science Technical Report Symbolic Evaluation Graphs and Term Rewriting — Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2012-09-07 15:06:52 Logic in computer science Logic programming Automated theorem proving Formal languages Type theory Substitution Unification Admissible rule Futures and promises Rewrite order Rewriting Symbol
16	Variance of the subgraph count for sparse Erd˝ os-R´ enyi graphs Robert B. Ellis a,1,∗ , James P. Ferry b,1 a Department Add to Reading List Source URL: math.iit.edu Language: English - Date: 2009-09-14 16:32:12 Graph theory Morphisms Mathematical logic Model theory Structure Universal algebra Graph isomorphism Two-graph Covering graph
17	Parameterized Complexity of Critical Node Cuts Danny Hermelin1 , Moshe Kaspi1 , Christian Komusiewicz2 , and Barak Navon1 1 2 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2015-11-09 10:22:02 Graph theory Mathematics Treewidth Clique Vertex Tree decomposition Centrality Graph Degree Pathwidth Logic of graphs
18	Lecture 10: Graph Data Structures Steven Skiena Department of Computer Science State University of New York Stony Brook, NY 11794–4400 Add to Reading List Source URL: www3.cs.stonybrook.edu Language: English - Date: 2008-06-19 03:42:13 Graph theory Graph Directed graph Dense graph Ear decomposition Vertex Connected component Line graph Logic of graphs
19	LIPIcs Leibniz International Proceedings in Informatics Domination Problems in Nowhere-Dense Classes of Graphs Add to Reading List Source URL: logic.las.tu-berlin.de Language: English - Date: 2015-06-17 12:07:40
20	Basic Elements of Logical Graphs Lucas Dixon CAM-CAD 2009 Abstract We considers how a particular kind of graph corresponds to multiplicative intuitionistic linear logic formula. The main feature of the graphical notation Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-11-11 17:57:37